Petri Nets with Discrete Phase Type Timing
نویسندگان
چکیده
منابع مشابه
Discrete Parameters in Petri Nets
With the aim of significantly increasing the modeling capability of Petri nets, we suggest models that involve parameters to represent the weights of arcs, or the number of tokens in places. We call these Petri nets parameterised nets or PPNs. Indeed, the introduction of parameters in models aims to improve genericity. It therefore allows the designer to leave unspecified aspects, such as those...
متن کاملRegenerative Simulation of Stochastic Petri Nets with Discrete and Continuous Timing
We present a regenerative simulation method applicable to a special class of non-Markovian stochastic Petri net (SPN) that may be useful in practice for constructing and solving performability models. Introduced in [1], this special SPN is called a phased delay Petri net (PDPN) and was conceived to allow efficient numerical analysis while increasing the modeling fidelity. The PDPN permits phase...
متن کاملTiming and liveness in continuous Petri nets
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreover, the class of continuous models thus obtained may be interesting in itself. In Petri nets, fluidification leads to the so called continuous Petri nets, that are technically hybrid models. Under infinite server semantics...
متن کاملPetri Nets and Discrete Events Systems
This paper provides an overview over the relationship between Petri Nets and Discrete Event Systems as they have been proved as key factors in the cognitive processes of perception and memorization. In this sense, different aspects of encoding Petri Nets as Discrete Dynamical Systems that try to advance not only in the problem of reachability but also in the one of describing the periodicity of...
متن کاملAnalysis of discrete-time stochastic Petri nets
W. M. P. van der Aalst, K. M. van Hee and H. A. Reijers Eindhoven University of Technology, Department of Mathematics and Computing Science, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands Eindhoven University of Technology, Department of Technology Management, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands Deloitte & Touche Bakkenist, Management and ICT Consultants, P.O. Box 23103, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2002
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00225-7